Sfoglia per Rivista LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Termination of Constraint Contextual Rewriting
2000-01-01 Armando, Alessandro; Ranise, Silvio
The MathSAT5 SMT Solver
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani
Theory and Applications of Satisfiability Testing – SAT 2012
2012-01-01 Cimatti, Alessandro; Sebastiani, Roberto
“Your Team Cohesion is Low”: A Systematic Study of the Effects of Social Network Feedback on Mediated ActivityOnline Communities and Social Computing
2011-01-01 Luciano, Gamberini; Francesco, Martino; Anna, Spagnolli; Roberto, Baù; Ferron, Michela
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Termination of Constraint Contextual Rewriting | 1-gen-2000 | Armando, Alessandro; Ranise, Silvio | |
The MathSAT5 SMT Solver | 1-gen-2013 | Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani | |
Theory and Applications of Satisfiability Testing – SAT 2012 | 1-gen-2012 | Cimatti, Alessandro; Sebastiani, Roberto | |
“Your Team Cohesion is Low”: A Systematic Study of the Effects of Social Network Feedback on Mediated ActivityOnline Communities and Social Computing | 1-gen-2011 | Luciano, Gamberini; Francesco, Martino; Anna, Spagnolli; Roberto, Baù; Ferron, Michela |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile